/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package chameleon.model.game;

import chameleon.model.NuGatStructure.strategy.StructCheckLTLGameSF07;

/**
 *
 * @author simon
 */
public class ClsDecorator extends GameDecorator {
    
    private StructCheckLTLGameSF07 cls_;

    public ClsDecorator(StructCheckLTLGameSF07 cls_) {
        super(Tag.CLS);
        this.cls_ = cls_;
    }
    
    public StructCheckLTLGameSF07 getCls(){
        return cls_;
    }
    
}
